This book constitutes the refereed proceedings of the 9th International Conference on Mathematics of Program Construction, ...
WeiterlesenThis book constitutes the refereed proceedings of the 5th International Conference on Modeling Decisions for Artificial Intelligence, ...
WeiterlesenThis volume contains the papers presented at NLDB 2008, the 13th Inter- tional Conference on Natural Language and Information ...
WeiterlesenThis book constitutes the refereed proceedings of the first International Conference on Computability in Europe, CiE 2005, ...
WeiterlesenThis book examines new developments in the theory and practice of computation from a mathematical perspective, with topics ...
WeiterlesenThe theory of formal languages is widely recognized as the backbone of theoretical computer science, originating from mathematics ...
WeiterlesenIt is a general belief that mathematics is a difficult subject to understand, that uses esoteric symbols and an incomprehensible ...
WeiterlesenThis book examines the many contributions of Paul Lorenzen, an outstanding philosopher from the latter half of the 20th ...
WeiterlesenThis festschrift volume is dedicated to Boris (Boaz) Trakhtenbrot on the occasion of his 85th birthday. For over half a century, ...
WeiterlesenThis book constitutes the refereed proceedings of the 14th International Conference on Principles and Practice of Constraint ...
WeiterlesenThis book presented together with the abstract of one invited talk and two tool presentations were carefully reviewed and ...
WeiterlesenThe topics in the book include: - the representation of mathematical statements by formulas in a formal language. - the interpretation ...
WeiterlesenThis book is organized in topical sections on Encryption, Signature, Analysis, Application of Hash Functions, Universal Composability, ...
WeiterlesenThis volume contains areas, mainly applications, which have not appeared in any collection of this type. The book representing ...
WeiterlesenThis volume contains the joint proceedings of the 9th International Conferenceon Relational Methods in Computer Science (RelMiCS-9) ...
WeiterlesenThe book describe the calculus of relations and similar algebraic formalisms as methodological and conceptual tools with ...
WeiterlesenThe book covers current research on all aspects of rewriting including typical areas of interest such as applications, foundational ...
WeiterlesenThis book is organized in topical sections on logical and mathematical foundations, data analysis, data mining, decision ...
WeiterlesenThis book focus on five major research fields: computing theory and paradigms, knowledge technology, intelligent information ...
WeiterlesenThe book address artificial intelligence researchers, database researchers, and practitioners to demonstrate theoretical ...
Weiterlesen